Czy Bruno Schulz był pisarzem?

Bruno Zeller

Bruno Caruso - n. 39

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

sercowym A . D . 2012 . Czy tak

Early repolarisation syndrome (ERS) appears in 2–7% of general population, mainly seen in young men, athletes and blacks. Recent publications change the benign character of ERS. It was suggested that ERS can be associated with sudden cardiac death, idiopathic ventricular fibrillation. This article described history and evolution of ERS.

Polish: Prosodic Aspects of "Czy" Questions

The paper addresses the problem of the intonation of interrogative sentences with the "yes-no"question word “czy..”. The final aim of the analysis is to modify a diphone synthesis program for man-machine dialogue in Polish, which is to be applied in vocal servers. Thus the task requires determining all of the prosodic cues accompanying this kind of sentences and selecting those which allow such...